Advanced Domain Theory for Domain Engineers -- Kent D. Palmer Like meta-systems for some reason they are not very well developed in our tradition. So if we were to delve into it very deeply we would have to develop it o

Source URL: holonomic.net

• Data management
• Data
• Information
• Schema
• Database schema
• Meta-system
• Ethology
• National Information Exchange Model
• Cultural schema theory
• Psychological theories
• Data modeling
• Cognitive science

Integral Systems Engineering Methodology Kent Palmer[removed]http://kdp.me [removed]

Source URL: holonomic.net

• Systems science
• Systems theory
• Monad
• Profile
• Domain
• Computer programming
• Software engineering
• Cybernetics
• System

Dedicated to Academician Aureliu Săndulescu’s 80th Anniversary LINEAR AND NONLINEAR LIGHT BULLETS: RECENT THEORETICAL AND EXPERIMENTAL STUDIES D. MIHALACHE Horia Hulubei National Institute for Physics and Nuclear Eng

Source URL: www.theory.nipne.ro

• Dissipative soliton
• Domain wall
• Pulse
• Nonlinear Schrödinger equation
• Nonlinear optics
• Topological quantum number
• Dispersion
• Bose–Einstein condensate
• Vector soliton
• Physics
• Calculus
• Solitons

Prime Algebraicity Glynn Winskel, University of Cambridge Computer Laboratory, England April 27, 2009 Abstract A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets, ordered by incl

Source URL: www.cl.cam.ac.uk

• Structure
• Lattice theory
• Algebraic structures
• Lattice
• Heyting algebra
• Distributivity
• Compact element
• Partially ordered set
• Scott domain
• Mathematics
• Abstract algebra
• Order theory

Integral Systems Engineering Methodology Kent Palmer[removed]http://kdp.me [removed]

Source URL: archonic.net

• Systems science
• Systems theory
• Monad
• Profile
• Domain
• Computer programming
• Software engineering
• Cybernetics
• System

Name Generation and Linearity Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract A path-based domain theory for higher-order processes is extended to allow name generation. The original domain

Source URL: www.cl.cam.ac.uk

Nominal Domain Theory for Concurrency David Turner and Glynn Winskel University of Cambridge Computer Laboratory Abstract. This paper investigates a methodology of using FM (FraenkelMostowski) sets, and the ideas of nomi

Source URL: www.cl.cam.ac.uk

• Algebraic geometry
• Valuation
• Function
• Preorder
• Mathematics
• Field theory
• Order theory

Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel

Source URL: www.cl.cam.ac.uk

• Logic
• Denotational semantics
• Semantics of programming languages
• Power domains
• Operational semantics
• Sheaf
• Π-calculus
• Concurrency
• Semantics
• Theoretical computer science
• Logic in computer science
• Mathematics

PHYSICAL REVIEW E, VOLUME 63, [removed]Stable vortex solitons in the two-dimensional Ginzburg-Landau equation L.-C. Crasovan,1 B. A. Malomed,2 and D. Mihalache1 1

Source URL: www.theory.nipne.ro

• Solitons
• Partial differential equations
• Pulse
• Nonlinear Schrödinger equation
• Topological quantum number
• Vortex
• Domain wall
• Physics
• Calculus
• Fluid dynamics

DISCO: Distributed Multi-domain SDN Controllers K´evin Phemius, Mathieu Bouet and J´er´emie Leguay Thales Communications & Security 4 avenue des Louvresses, 92230 Gennevilliers, France {kevin.phemius, mathieu.bouet, j

Source URL: jeremie.leguay.free.fr

• Computer architecture
• Network architecture
• OpenFlow
• Advanced Message Queuing Protocol
• Inter-domain
• Routing
• Control theory
• Message-oriented middleware
• Controller
• Computing
• Network protocols
• Middleware